L'architettura delle equazioni differenziali ordinarie di ordine superiore
Un'equazione differenziale lineare di ordine $n$ è caratterizzata dalla sua derivata di ordine più elevato. Definiamo la forma generale come l'Equazione (1):
$$P_0(t) \frac{d^n y}{dt^n} + P_1(t) \frac{d^{n-1} y}{dt^{n-1}} + \dots + P_{n-1}(t) \frac{dy}{dt} + P_n(t)y = G(t)$$ (1)
Per facilitare l'analisi teorica, spesso normalizziamo questa equazione dividendo per $P_0(t)$, assumendo che sia diverso da zero nell'intervallo di interesse. Ciò porta alla Forma standard (Equazione 2):
$$L[y] = \frac{d^n y}{dt^n} + p_1(t) \frac{d^{n-1} y}{dt^{n-1}} + \dots + p_{n-1}(t) \frac{dy}{dt} + p_n(t)y = g(t)$$ (2)
Notazione dell'operatore e coefficienti costanti
La complessità delle $n$ derivate viene riassunta in un singolo operatore lineare $L$. Quando i coefficienti sono costanti ($a_n$), l'espressione si semplifica in:
$L[y] = a_0y^{(n)} + a_1y^{(n-1)} + \dots + a_{n-1}y' + a_ny = g(t)$
Questa notazione evidenzia che $L$ agisce in modo lineare: $L[c_1y_1 + c_2y_2] = c_1L[y_1] + c_2L[y_2]$. Questo principio garantisce che la soluzione generale sia composta da una soluzione complementare ($y_c$) e una soluzione particolare ($Y$).
Considera Figura 4.2.4: Un sistema a due molle e due masse con masse $m_1, m_2$ e spostamenti $u_1, u_2$. La fisica produce due equazioni del secondo ordine accoppiate. Isolando $u_1$ tramite sostituzione, otteniamo un'unica equazione del quarto ordine equazione. Per risolverla, abbiamo bisogno di 4 condizioni iniziali (posizione e velocità per ogni massa) per trovare un percorso fisico unico.
Esempio risolto: La soluzione omogenea
Trova la soluzione generale dell'equazione differenziale: $y''' - y'' - y' + y = 0$
Supponi $y = e^{rt}$. Sostituendo nell'ODE ottieni: $r^3 - r^2 - r + 1 = 0$.
Scomponi per gruppi: $r^2(r - 1) - 1(r - 1) = 0 \implies (r^2 - 1)(r - 1) = 0$.
Questo si espande in $(r - 1)(r + 1)(r - 1) = (r - 1)^2(r + 1) = 0$.
Le radici sono $r = 1$ (molteplicità 2) e $r = -1$. Poiché $r=1$ si ripete, moltiplichiamo il secondo termine per $t$.
$y_c(t) = c_1e^t + c_2te^t + c_3e^{-t}$